Propositional Reasoning that Tracks Probabilistic Reasoning
نویسندگان
چکیده
منابع مشابه
Propositional Reasoning that Tracks Probabilistic Reasoning
This paper concerns the extent to which uncertain propositional reasoning can track probabilistic reasoning, and addresses kinematic problems that extend the familiar Lottery paradox. An acceptance rule assigns to each Bayesian credal state p a propositional belief revision method Bp, which specifies an initial belief state Bp(⊤), that is revised to the new propositional belief state B(E) upon ...
متن کاملPhD Dissertation: Propositional Reasoning that Tracks Probabilistic Reasoning
Bayesians model one’s doxastic state by subjective probabilities. But in traditional epistemology, in logic-based artificial intelligence, and in everyday life, one’s doxastic state is usually expressed in a qualitative, binary way: either one accepts (believes) a proposition or one does not. What is the relationship between qualitative and probabilistic belief? I show that, besides the familia...
متن کاملPropositional Reasoning about Saturated Conditional Probabilistic Independence
Conditional independence provides an essential framework to deal with knowledge and uncertainty in Artificial Intelligence, and is fundamental in probability and multivariate statistics. Its associated implication problem is paramount for building Bayesian networks. Unfortunately, the problem does not enjoy a finite ground axiomatization and is already coNP-complete to decide for restricted sub...
متن کاملExploiting Structure in Backtracking Algorithms for Propositional and Probabilistic Reasoning
Boolean propositional satisfiability (SAT) and probabilistic reasoning represent two core problems in AI. Backtracking based algorithms have been applied in both problems. In this thesis, I investigate structure-based techniques for solving real world SAT and Bayesian networks, such as software testing and medical diagnosis instances. When solving a SAT instance using backtracking search, a seq...
متن کاملPropositional, Probabilistic and Evidential Reasoning: Integrating Numerical and Symbolic Approaches
A solution to get the problem off, have you found it? Really? What kind of solution do you resolve the problem? From what sources? Well, there are so many questions that we utter every day. No matter how you will get the solution, it will mean better. You can take the reference from some books. And the propositional probabilistic and evidential reasoning integrating numerical and symbolic appro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Philosophical Logic
سال: 2012
ISSN: 0022-3611,1573-0433
DOI: 10.1007/s10992-012-9237-3